Search
Feedback
About
Help
News
| Listing 1 - 10 of 269 | << page >> |
Sort by
|
Book
ISBN: 9780195366587 0195366581 9780195366570 0195366573 1281529389 9786611529383 0199710635 0199851891 Year: 2008 Publisher: Oxford Oxford University Press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
1. Introduction. 2. The Syntax of Modal Sentential Calculi. 4. Semantics for Logical Necessity. 5. Semantics for S5. 6. Relational World Systems. 7. Quantified Modal Logic. 8. The Semantics of Quantified Modal Logic. 9. Second-Order Modal Logic. 10. Semantics of Second-Order Modal Logic. Afterword. Bibliography. Index
Book
Year: 1989 Publisher: Oxford New York London Blackwell
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 8430918302 Year: 1990 Publisher: Madrid : Tecnos,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 0511983387 Year: 1994 Publisher: Cambridge : Cambridge University Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
This is a first course in propositional modal logic, suitable for mathematicians, computer scientists and philosophers. Emphasis is placed on semantic aspects, in the form of labelled transition structures, rather than on proof theory. The book covers all the basic material - propositional languages, semantics and correspondence results, proof systems and completeness results - as well as some topics not usually covered in a modal logic course. It is written from a mathematical standpoint. To help the reader, the material is covered in short chapters, each concentrating on one topic. These are arranged into five parts, each with a common theme. An important feature of the book is the many exercises and an extensive set of solutions is provided.
ISBN: 0937073768 9780937073766 Year: 1992 Publisher: Menlo Park (Calif.): CSLI,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 0792362373 Year: 2000 Publisher: Dordrecht : Kluwer academic,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 9781402085895 Year: 2008 Publisher: S.l. : Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 9781575865997 9781575866987 Year: 2010 Publisher: Stanford (Calif.) : Center for the Study of Language and Information,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 9781575865980 157586598X Year: 2010 Publisher: Stanford: CSLI,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 311141745X Year: 2019 Publisher: Berlin ; Boston : De Gruyter Mouton,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
| Listing 1 - 10 of 269 | << page >> |
Sort by
|